($\forall$$x$$<$$y$$\in$$L$.$P$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$, $y$:$T$. $x$ before $y$ $\in$ $L$ $\Rightarrow$ $P$($x$;$y$)